- logically exhaustive
- мат.на основе логического полного перебора
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
History of Physics — History of Physics † Catholic Encyclopedia ► History of Physics The subject will be treated under the following heads: I. A Glance at Ancient Physics; II. Science and Early Christian Scholars; III. A Glance at Arabian Physics; IV.… … Catholic encyclopedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Extreme Unction — • A sacrament to give spiritual aid and comfort and perfect spiritual health, including, if need be, the remission of sins, and also, conditionally, to restore bodily health, to Christians who are seriously ill Catholic Encyclopedia. Kevin Knight … Catholic encyclopedia
Unsolved problems in philosophy — This article deals mainly with unsolved problems in analytic philosophy. For other schools of philosophy, this concept is not well defined. Philosophical problems are unlike scientific or mathematical problems in that problems in philosophy are… … Wikipedia
Mutually exclusive events — For the programming algorithms, see Mutual exclusion. In layman s terms, two events are mutually exclusive if they cannot occur at the same time. An example is tossing a coin once, which can result in either heads or tails, but not both. In the… … Wikipedia
Predestination — Predestination, in theology is the doctrine that all events have been willed by God. John Calvin interpreted biblical predestination to mean that God willed eternal damnation for some people and salvation for others.[1] Explanations of… … Wikipedia
Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… … Wikipedia
General Councils — General Councils † Catholic Encyclopedia ► General Councils This subject will be treated under the following heads: ♦ Definition ♦ Classification ♦ Historical Sketch ♦ The Pope and General Councils ♦ Composition of … Catholic encyclopedia
Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… … Wikipedia
Free Will — • The question of free will, moral liberty, or the liberum arbitrium of the Schoolmen, ranks amongst the three or four most important philosophical problems of all time Catholic Encyclopedia. Kevin Knight. 2006. Free Will Free Will … Catholic encyclopedia
Christian theology — The Prophetess Anna, Rembrandt, 1631 See also: History of Christian theology and Outline of Christian theology Christian doctrine redirects here. For the United States Court case known by that name, see G.L. Christian and associates v. US.… … Wikipedia